Finite-time regional verification of stochastic non-linear systems
نویسندگان
چکیده
منابع مشابه
Finite-Time Regional Verification of Stochastic Nonlinear Systems
Recent trends pushing robots into unstructured environments with limited sensors have motivated considerable work on planning under uncertainty and stochastic optimal control, but these methods typically do not provide guaranteed performance. Here we consider the problem of bounding the probability of failure (defined as leaving a finite region of state space) over a finite time for stochastic ...
متن کاملOptimal Finite-time Control of Positive Linear Discrete-time Systems
This paper considers solving optimization problem for linear discrete time systems such that closed-loop discrete-time system is positive (i.e., all of its state variables have non-negative values) and also finite-time stable. For this purpose, by considering a quadratic cost function, an optimal controller is designed such that in addition to minimizing the cost function, the positivity proper...
متن کاملNon-linear stochastic inversion of regional Bouguer anomalies by means of Particle Swarm Optimization: Application to the Zagros Mountains
Estimating the lateral depth variations of the Earth’s crust from gravity data is a non-linear ill-posed problem. The ill-posedness of the problem is due to the presence of noise in the data, and also the non-uniqueness of the problem. Particle Swarm Optimization (PSO) is a stochastic population-based optimizer, originally inspired by the social behavior of fish schools and bird flocks. PSO is ...
متن کاملSafety Verification of Real Time Systems Serving Periodic Devices
In real-time systems response to a request from a controlled object must be correct and timely. Any late response to a request from such a device might lead to a catastrophy. The possibility of a task overrun, i.e., missing the deadline for completing a requested task, must be checked and removed during the design of such systems. Safe design of real-time systems running periodic tasks under th...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The International Journal of Robotics Research
سال: 2012
ISSN: 0278-3649,1741-3176
DOI: 10.1177/0278364912444146